The test suite generation problem: Optimal instances and their implications

The test suite generation problem: Optimal instances and their implications

In the test suite generation problem (TSG) for software systems, I is a set of n input parameters where each I ∈ I has κ(I) data values, and O is a collection of subsets of I where the interactions of the parameters in each O ∈ O are thought to affect the outcome of the system. A test case for (I,O, κ) is an n-tuple (t1, t2, . . . , tn) that specifies the value of each input parameter in I. The...

the relationship between learners critical thinking ability and their performance in the reading sections of the tofel and ielts test

the study reflected in this thesis aims at finding out relationships between critical thinking (ct), and the reading sections of tofel and ielts tests. the study tries to find any relationships between the ct ability of students and their performance on reading tests of tofel and academic ielts. however, no research has ever been conducted to investigate the relationship between ct and the read...

Test Suite Evaluation and Generation

We describe an approach to the synthesis of a benchmark test suite for evaluation of coverage analyzers, and new tools for test generation that have been developed for PVS and SAL.

Test Suite Design for Code Generation Tools

• General approach for the systematic verification of code generators • Seamless test case derivation (process) based on formal specification (i.e. graph transformation rule) • A method is suggested to create test input data for model and code using automated structural test • Results are suitable for making general assumptions about whether or not the code generator’s behaviour is correct Cont...

Coverage-driven Automated Compiler Test Suite Generation